panel: Hide spinner when switching apps

Commit fcfd17e was overzealous when simplifying the previous spinner
animation, as a result the spinner now stays around when switching
to another application while the animation is ongoing.

diff --git a/js/ui/panel.js b/js/ui/panel.js
index d606fd7411e479470b99c1952006cc20d9ee5864..c064245af68e8c8f826ded8483eb98093929de0b 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -501,6 +501,7 @@ AppMenuButton.prototype = {
             return;
         }
 
+        this._spinner.actor.hide();
         if (this._iconBox.child != null)
             this._iconBox.child.destroy();
         this._iconBox.hide();